“표시적 의미론”으로 총 1건 검색

• 표시적 의미론, 標示的意味論, denotational semantics

  수도 있다는 것을 의미한다. 이와 같은 의미 공간 D는 식과 함수의 양자의 측면을 함께 지니는 λ산법의 모델이 된다. 또 이 방법에서는 재귀적 프로그램의 의미는 그 프로그램을 D상의 연속 함수로 볼 때 그것의 최소 부동점으로 주어진다. 수학적 의미론(mathematical semantics) 및 부동점 의미론(fixpoint...